perm filename BEN[W79,JMC]2 blob sn#525147 filedate 1980-07-19 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	Suggestions for Ben Moszkowski on derived functions
C00003 ENDMK
CāŠ—;
Suggestions for Ben Moszkowski on derived functions

1. A rec fn is complete if it is guaranteed to have just one fixed point.
How can this be proved?
Can it be proved within the first order formalism?

2. The functionals for the derived functions are not ordinarily extensional
in terms of the original functional.  Are they sometimes?

	a. rationed recursion

	b. ok[tau,w]

3. write compiler that will produce i and r from abstract syntax
of f.